This application is a proof assistant for higher-order logic. The prover kernel is based on HOL Ligh
看更多 »
HOL Theorem Prover
1
This application is a proof assistant for higher-order logic. The prover kernel is based on HOL Ligh
看更多 »